Stichworte: Deadlock detection algorithm